Modifying Esterel Concepts to Model Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Modifying Esterel Concepts to Model Hybrid Systems
A hallmark of the Esterel language is the combination of perfect synchrony with total orthogonality and powerful constructs for preemption, suspension and trap handling. It is desirable to make this kind of expressiveness available for the description of hybrid systems, that is, systems whose evolution is understood in terms of segment–wise continuous functions over the real time axis. Our appr...
متن کاملModifying the Black-Scholes model to valuate preemption right
In this paper, we try and valuate preemption rights by modifying the Black-Scholes model, which is widely used to valuate options and other derivatives. Here we first present the basics of the Black-Scholes model and then we discus modification of the model to be fit for preemption right valuation. At the end, we valuate four of the preemptive rights using the proposed model
متن کاملSolution Concepts for Hybrid Dynamical Systems
The recent interest in hybrid systems has given rise to a large variety of model classes and to many different notions of solution trajectories. In this paper we enumerate several solution concepts and compare them on the basis of some examples displaying Zeno behaviour. The relation to well-posedness is also discussed.
متن کاملModifying Hytech to Automatically Synthesize Hybrid Controllers
We present HoneyTech, a tool for automatic synthesis of hybrid controllers. HoneyTech is an extension of the HyTech tool, with added features for linear hybrid automata region modeling and analysis. The tool has also been enhanced to improve performance by reducing the number of redundant operations during region computations. The tool has been used to implement the Wong-Toi hybrid controller s...
متن کاملEmbedded Systems Programming: Accessing Databases from Esterel
A current limitation in embedded controller design and programming is the lack of database support in development tools such as Esterel Studio. This article proposes a way of integrating databases and Esterel by providing two application programming interfaces (APIs) which enable the use of relational databases inside Esterel programs. As databases and Esterel programs are often executed on dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80439-6